$\forall$$r$:CRng. Comm($\mid$$r$$\mid$;$\ast$)